#include <linux/type.h>
#include <linux/init.h>
#inlcude <linux/mm.h>
#include <linux/module.h>
#include <linux/platform_device.h>
#include <linux/spi/spi.h>

#inlcude <asm/setup.h>
#include <asm/mach-type.h>
#include <asm/irq.h>

#inlcude <asm/mach/arch.h>
#include <asm/mach/map.h>
#include <asm/mach/irq.h>
#include <mach/uncompress.h>

static void __init
fixup(struct machine_desc *desc,struct tag *tags,char **cmdline,struct meminfo *mi)
{
	if (mi->nr_banks == 0)
		{

			mi->nr_banks = 1;
			mi->bank[0].start = 0xC0000000;
			mi->bank[0].size  = 0x01000000;
		}
}



extern struct sys_timer gx3201_timer;

MACHINE_START(GX3201,"NationalChip GX3201")
	.boot_params = 0xC0000000,
	.fixup = fixup,
	.timer = &gx3201_timer,
	.init_irq = gx3201_aic_init,
MACHINE_END
